High-Level Programming for E-Cash
نویسندگان
چکیده
We consider symbolic characterizations of the Compact ECash protocol of Camenisch, Hohenberger, and Lysyanskaya [CHL05]. E-cash protocols [Cha82,CFN88] aim at providing robust abstractions for anonymous payment protocols. Properties of interest include, for instance, that users can spend coins anonymously, that users cannot forge coins, and that user should not spend the same coin twice without being eventually caught. These protocols involve sophisticated cryptographic constructions. Relying on recent work on optimistic value commitment [FGN08], we design a calculus with E-cash primitives. Our calculus has a simple, symbolic semantics; it can be used for programming with E-cash and for reasoning on its properties, while shielding the programmer from its cryptographic implementation. We consider two variants of the symbolic semantics. An abstract semantics rules out any double spending (by design). A more realistic, intermediate semantics accounts for the possibility of double spending, with reliable detection. We first relate these two semantics, then relate the intermediate semantics to the computational properties of the underlying E-cash protocol.
منابع مشابه
A Comprehensive Mathematical Model for a Location-routing-inventory Problem under Uncertain Demand: a Numerical Illustration in Cash-in-transit Sector
The purpose of this article is to model and solve an integrated location, routing and inventory problem (LRIP) in cash-in-transit (CIT) sector. In real operation of cash transportation, to decrease total cost and to reduce risk of robbery of such high-value commodity. There must be substantial variation, making problem difficult to formulate. In this paper, to better fit real life applications ...
متن کاملA Mathematical Programming for a Special Case of 2E-LRP in Cash-In-Transit Sector Having Rich Variants
In this article, we propose a special case of two-echelon location-routing problem (2E-LRP) in cash-in-transit (CIT) sector. To tackle this realistic problem and to make the model applicable, a rich LRP considering several existing real-life variants and characteristics named BO-2E-PCLRPSD-TW including different objective functions, multiple echelons, multiple periods, capacitated vehicles, dis...
متن کاملAgency Costs, Free Cash Flow and It Expenditures
1.0 INTRODUCTION In the past few decades, U.S. businesses have made large investments in information technology (IT), without decisive evidence about the value of such investments [1]. A natural question that arises in this context is whether managers have wasted organizational resources through large investments in IT. In his well-known free cash flow hypothesis, Michael Jensen argues that man...
متن کاملThe Effect of Government Quality on Corporate Cash Holdings
We use China as a laboratory to test the effect of government quality on cash holdings. We build on, and extend, the existing literature on government expropriation and its interaction with firm-level agency problems by proposing a financial constraint mitigation argument. We find that firms hold less cash when local government quality is high, which is not consistent with the state expropriati...
متن کاملCash Flow and Investment Project Outcomes Evidence from Bidding on Oil and Gas Leases
How does a rm s investment change with its cash ow To study this question we collect detailed project level data on oil and gas lease auctions Bidding data on all tracts and bidders including losing ones allow us to track changes in relative bid prices and lease composition Morover outcome data for every lease i e whether minerals where found or not allow us to track changes in pro tability of ...
متن کامل